import _00SetFunc as ss
import __00SetRelation as sr

#反自反性判断
X={1,2,3,4}
R={(1,2),(1,3),(3,1),(2,1),(2,3),(4,3),(4,1)}
tv=sr.isirreflexive(X,R)
print("tv",tv)